d6fc934caebcc5788df0f489f7aa5a9c3bacd409,de.prob2.kernel/src/main/java/de/prob/model/eventb/translate/MachineXmlHandler.java,MachineXmlHandler,endContextExtraction,#,391

Before Change



		ProofExtractor extractor = new ProofExtractor(internalContext,
				directoryPath + File.separatorChar + internalContext.getName());
		internalContext.addProofs(extractor.getProofs());

		extractingContext = false;
	}

After Change


	}

	private void endContextExtraction() throws SAXException {
		ModelElementList<EventBAxiom> axms = new ModelElementList<EventBAxiom>(inheritedAxioms);
		axms.addMultiple(axioms);
		internalContext = internalContext.set(Axiom.class, axms);
		internalContext = internalContext.set(Constant.class, new ModelElementList<EventBConstant>(constants));
		internalContext = internalContext.set(Context.class, new ModelElementList<Context>(Extends));
		internalContext = internalContext.set(de.prob.model.representation.Set.class, new ModelElementList<de.prob.model.representation.Set>(sets));

		ProofExtractor extractor = new ProofExtractor(internalContext,
				directoryPath + File.separatorChar + internalContext.getName());
		internalContext = internalContext.set(ProofObligation.class, extractor.getProofs());

		model = model.addContext(internalContext);
		if (seesNames.contains(internalContext.getName())) {
			sees.add(internalContext);
		}